1. Boron trifluoride and its derivvatives
پدیدآورنده : BOOTH,HAROLD SIMMONS
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : BORON
رده :
QD
181
.
B1
B6
2. Derivation and computation: taking the Curry-Howard correspondence seriously
پدیدآورنده : Simmons, Harold
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Lambda calculus,، Type theory,، Curry-Howard isomorphism
رده :
QA
9
.
54
.
S55
2000
3. Inorganic syntheses
پدیدآورنده : editor Harold Simmons Booth...]et al[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Periodicals ، Inorganic compounds - Synthesis,، Anorganische verbindingen,، Synthese )chemie(,، Organometaalverbindingen,Collections ، Composes inorganiques - Synthese
رده :
QD
156
.
I56
4. Inorganic syntheses.
پدیدآورنده : editor-in-chief Harold Simmons Booth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry, Inorganic.,Inorganic compounds-- Synthesis.
5. Inorganic syntheses
پدیدآورنده : editor Harold Simmons Booth ... ]et. al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Inorganic compounds- Synthesis
رده :
QD
156
.
I46
6. Inorganic syntheses
پدیدآورنده : editor in chief Harold Simmons Booth; associate editors L. F. audrieth ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Inorganic compounds -- Synthesis
رده :
QD
156
.
I55
1939
7. Inorganic syntheses
پدیدآورنده : BOOTH,HAROLD SIMMONS, ED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : CHEMISTRY-INORGANIC SYNTHESIS
رده :
QD
155
.
I5
8. Proof theory :
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
L44
1990
9. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
L4
1990
10. Quantitative analysis
پدیدآورنده : Booth, Harold Simmons
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Chemistry, Analytic - Quantitative
رده :
QD
101
.
B7
1944
11. SOCIAL SCIENCE IN MEDICINE
پدیدآورنده : BY LEO W. SIMMONS,HAROLD G. WOLF
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Social Medicine,Sociology Medical
رده :
RA
،
418
،.
S56
،
1959
12. Social sience in medicine
پدیدآورنده : Leo W. Simmons and Harold G.Wolff
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Social medicine
